Workshop, Yorktown Heights, New York, May 1981
Lecture Notes in Computer Science > Logics of Programs > 113-121
Lecture Notes in Computer Science > Logics of Programs > 124-136
Lecture Notes in Computer Science > Logics of Programs > 167-176
Lecture Notes in Computer Science > Logics of Programs > 200-252
Lecture Notes in Computer Science > Logics of Programs > 253-281
Lecture Notes in Computer Science > Logics of Programs > 282-299
Lecture Notes in Computer Science > Logics of Programs > 300-310